Towards a Dialogic Interpretation of Dynamic Proofs
نویسنده
چکیده
The main result presented in this paper concerns a dialogic or game-theoretical interpretation of dynamic proofs. Dynamic proofs in themselves do not form a demonstration of the derivability of their last formula from a given premise set. Apart from the proof, such a demonstration requires a specific metalevel argument. In a natural and appealing form, the metalevel argument is phrased in terms of the existence of a winning strategy for the proponent. The aforementioned point is presented in terms of an approach that is in a sense Hilbertian and anti-Tarskian: the characterization of logical inference in terms of types of proofs, rather than in terms of properties of the consequence relation.
منابع مشابه
Promoting Dialogic Talk in a Speaking Classroom: Rethinking Bakhtinian Pedagogy
This study sought to promote EFL learners' speaking ability drawing on Bakhtin’s notion of dialogic discourse pattern (DDP) and to explore their perceptions towards implementing dialogic teaching (DT) in a speaking classroom. To this end, from the population of students in different language institutes, 47 students were selected based on a purposive sampling method. The data were collected at t...
متن کاملThe System of Engagement in a Sample of Prose Fiction and the News
Emerging within Systemic Linguistics, Appraisal/Evaluation is a framework for analyzing the language of evaluation, providing techniques for the systematic analysis of evaluation and stance as they operate in whole texts and in groupings of texts. There are three systems in the Appraisal framework: Attitude, Engagement, and Graduation. This study sets out to analyze the use of the system of Eng...
متن کاملParody: Another Revision
The vast diversity of the proposed definitions of parody, both before and after the twentieth century, can be an emblem of the lack of a thorough agreement amongst the literary critics about the definition of this literary technique (genre?!). While there is not a comprehensive all-accepted definition of parody, modern and postmodern literatures both exhibit a wide application of it. After look...
متن کاملTowards a dialogic understanding of the relationship between CSCL and teaching thinking skills
This paper reviews the literature linking information and communications technology (ICT) to teaching thinking skills and advocates a dialogic framework which has implications for practice. The computer supported collaborative learning (CSCL) movement is critiqued for not always taking into account the radical implications of the concept of ‘dialogic’ which is the idea that meaning-making requi...
متن کاملMultiple Intelligences, Dialogic-Based Portfolio Assessment, and the Enhancement of Higher Order Thinking
Abstract Controversy has not been yet resolved among L2 researchers as how to enhance higher-order thinking skills (HOTSs) in EFL contexts. Responding to the growing need to foster thinking skills, many L2 educators have recently attempted to investigate the effect of diverse teaching strategies on HOTS. Yet, few studies have focused on the infusion of Gardner’s (1999) theory of multiple intell...
متن کامل